421. VLSI 2010 Annual Symposium
پدیدآورنده: edited by Nikolaos Voros, Amar Mukherjee, Nicolas Sklavos, Konstantinos Masselos, Michael Huebner.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Bioinformatics.,Computer network architectures.,Computer science.,Electronics.,Engineering.,Operating systems (Computers),Systems engineering.
422. VMware VI and vSphere SDK :
پدیدآورنده: Steve Jin.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: VMware.,VMware.,VMware.,Virtual computer systems.,Web services.,Computer Science.,Engineering & Applied Sciences.,Virtual computer systems.,Virtual computer systems.,Web services.,Web services.
رده :
QA76
.
9
.
V5
J56
2010
423. Verification and validation in systems engineering
پدیدآورنده: / Mourad Debbabi ... [et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Systems engineering,Expert systems (Computer science) -- Verification,Expert systems (Computer science) -- Validation,UML (Computer science),SysML (Computer science)
رده :
QA
76
.
76
.
E95
V47
2010
424. Verification and validation in systems engineering
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Systems engineering. ; Expert systems (Computer science) ; Verification. ; Expert systems (Computer science) ; Validation. ; UML (Computer science) ; SysML (Computer science) ; Systementwicklung ; swd. ; UML ; swd. ; SysML ; swd. ; Software Engineering ;
425. Verification and validation in systems engineering
پدیدآورنده: / Mourad Debbabi ... [et al.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Systems engineering.,Expert systems (Computer science)--Verification,Expert systems (Computer science)--Validation,UML (Computer science),SysML (Computer science),Systementwicklung--swd,UML--swd,SysML--swd,Software Engineering--swd,Softwaremetrie--swd,Programmanalyse--swd,Verifikation--swd,Validierung--swd,Leistungsbewertung--swd
رده :
QA
,
76
.
76
,.
E95
,
V47
,
2010
426. Verification and validation in systems engineering : assessing UML/SysML design models
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Systems engineering ► Expert systems (Computer science)- Verification ► UML (Computer science) ► SysML (Computer science) ► Systementwicklung ► UML ► SysML ► Software Engineering ► Softwaremetrie ► Programmanalyse ► Verifikation ► Validierung ► Leistungsbewertung
رده :
004
V516
430. Wired/Wireless Internet Communication
پدیدآورنده: edited by Yevgeni Koucheryavy, Lefteris Mamatas, Ibrahim Matta, Vassilis Tsaoussidis
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Data protection,Information systems,Software engineering,Computer Communication Networks,Computer Science,Information Systems and Communication Service,Information Systems Applications (incl. Internet),Software Engineering,Systems and Data Security
431. Wireless J2ME platform programming /
پدیدآورنده: Vartan Piroumian.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Java (Computer program language),Wireless communication systems.,Computer Science.,Engineering & Applied Sciences.,Java (Computer program language),Wireless communication systems.
رده :
QA76
.
73
.
J38
P575
2002
433. X und Motif :
پدیدآورنده: von Klaus Gottheil, Hermann-Josef Kaufmann, Thomas Kern, Rui Zhao.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
T385
.
V665
1992
434. dependent Problems in Imaging and Parameter Identification-Time
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Engineering / Computer Graphics ; Mathematics ; MATHEMATICS / Number Systems ; &COMPUTERS / Data Science / General ; COMPUTERS / Software Development
435. neural networkins and artificial intelligence for biomedical engineering
پدیدآورنده: / Maurice e.chohen
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Artificial intelligence,Neural networks ( computer science),Expert systems,Biomedical engineering
رده :
R
859
.
7
.
A78H84
1999
436. Çok Amaçlı Çok Atamalı Ana Düğüm Ağ Tasarımı Problemi Için Metasezgisel Yaklaşımlar
پدیدآورنده: Demir, İbrahim
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Applied mathematics,Computer engineering,Computer science,Design,Information technology,Systems science,Technical communication
438. reservoir Water Distribution Systems using Advanced Control Theoretic Tools and Techniques-Management of Complex Multi
پدیدآورنده: / Wojciech Z. Chmielowski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: CONTROL SYSTEMS& FUELS|AUTOMATION & ENGINEERING (uncategorised)|ENERGY &COMPUTER SCIENCE
رده :
E-BOOK
439. 16th Annual International Conference on Automated Software Engineering
پدیدآورنده: IEEE International Automated Software Engineering Conference (16th : 2001 :San Diego, California)
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Software engineering- Congresses►Expert systems (Computer science)- Congresses
رده :
QA
76
.
758
.
I54
2001
440. برنامه ریزی چند پارامتری: تئوری، الگوریتم ها و کاربردها
پدیدآورنده: پیستیکوپولوس ، افسترتیوس ان.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: مهندسی سیستم ها, Systems engineering, برنامه نویسی چند پارادایمی )کامپیوتر(, Multiparadigm programming )Computer science(
رده :
TA
168
/
پ
9
ب
4
1395
